| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 274905 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 350844 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 267600 | ||||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 369796 |